Sat in the Center
نویسندگان
چکیده
منابع مشابه
the u.s. policy in central asia and its impact on the colored revolutions in the region (the case study of tulip revolution in kyrgyzstan)
چکیده ندارد.
15 صفحه اولThe SAT-UNSAT transition in the adversarial SAT problem
Adversarial SAT (AdSAT) is a generalization of the satisfiability (SAT) problem in which two players try to make a boolean formula true (resp. false) by controlling their respective sets of variables. AdSAT belongs to a higher complexity class in the polynomial hierarchy than SAT and therefore the nature of the critical region and the transition are not easily paralleled to those of SAT and wor...
متن کاملthe effect of the record infancy in crimilly acts of guilties (in karaj city)
چکیده یکی از مهمترین دغدغه های بزرگ جوامع بشری، از دیر باز تا کنون که ذهن پژوهشگران و متخصصان بهداشت روانی و اجتماعی و دولتها رابه خود مشغول داشته، مسأله ی بزهکاری می باشد. شناخت کامل پدیده ی بزهکاری و بزهکار، علل وعوامل سقوط یک انسان، چگونگی درمان وی و درنهایت پیشگیری ازبزهکاری ودریک کلام سالم سازی یک جامعه، رسالت عظیم، انسانی ومقدسی می باشد که با بررسی شخصیت مجرم یعنی[ انسانی که تحت شرای...
15 صفحه اولthe translators agency and ideological manipulation in translation: the case of political texts in translation classes in iran
در این تحقیق به نقش واسطه ای مترجم در ایجاد تغییرات ایدئولوژیک در ترجمه متون سیاسی پرداخته شده است. بدین منظور محقق متنی سیاسی در خصوص ادعاهای آمریکا در مورد برنامه هسته ای ایران را انتخاب کرد. این متن از سایت spacewar.com انتخاب شد که دارای ایدئولوژی مغرضانه در مورد برنامه هسته ای ایران است. سپس یک گروه 30 نفره از دانشجویان کارشناسی ارشدرشته مترجمی زبان انگلیسی دانشگاه شیخ بهایی انتخاب شدند. ا...
15 صفحه اولSAT-to-SAT in QBFEval 2016
In this short paper, we describe QBF solvers from the latest QBFEval that were based on the SAT-to-SAT solver. We present the main ideas behind the solvers and discuss their strengths and weaknesses.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Iowa Review
سال: 1975
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.1912